[next] [prev] [prev-tail] [tail] [up]

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA and IntegrateAlgebraic to I.A.

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

149 149 149 126 125 125 151 131 125 0

N.S.

1 1.00 1.00 0.85 0.84 0.84 1.01 0.88 0.84 0.00

time (sec)

N/A 0.220 0.016 0.010 0.431 0.554 0.145 0.261 0.306 0.000

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

149 149 149 126 125 125 155 131 125 0

N.S.

1 1.00 1.00 0.85 0.84 0.84 1.04 0.88 0.84 0.00

time (sec)

N/A 0.098 0.004 0.000 0.463 0.571 0.088 0.193 0.069 0.000

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

89 89 146 125 124 124 150 130 124 0

N.S.

1 1.00 1.64 1.40 1.39 1.39 1.69 1.46 1.39 0.00

time (sec)

N/A 0.077 0.003 0.003 0.441 0.790 0.089 0.180 0.071 0.000

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

141 141 141 122 121 121 148 127 121 0

N.S.

1 1.00 1.00 0.87 0.86 0.86 1.05 0.90 0.86 0.00

time (sec)

N/A 0.082 0.003 0.001 0.465 0.567 0.089 0.221 0.070 0.000

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

142 142 142 123 125 122 150 131 122 0

N.S.

1 1.00 1.00 0.87 0.88 0.86 1.06 0.92 0.86 0.00

time (sec)

N/A 0.111 0.012 0.014 0.518 0.504 0.250 0.197 0.109 0.001

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

139 139 139 122 121 127 143 127 121 0

N.S.

1 1.00 1.00 0.88 0.87 0.91 1.03 0.91 0.87 0.00

time (sec)

N/A 0.082 0.007 0.017 0.522 0.527 0.244 0.195 0.094 0.001

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

142 142 142 123 125 129 150 142 122 0

N.S.

1 1.00 1.00 0.87 0.88 0.91 1.06 1.00 0.86 0.00

time (sec)

N/A 0.121 0.008 0.009 0.504 0.646 0.279 0.208 0.072 0.001

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

67 67 50 53 102 48 97 54 42 56

N.S.

1 1.00 0.75 0.79 1.52 0.72 1.45 0.81 0.63 0.84

time (sec)

N/A 0.050 0.053 0.046 1.012 0.611 6.015 0.233 0.370 0.131

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

51 51 44 46 93 43 70 45 37 51

N.S.

1 1.00 0.86 0.90 1.82 0.84 1.37 0.88 0.73 1.00

time (sec)

N/A 0.031 0.026 0.006 1.016 0.746 4.307 0.233 0.392 0.111

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

44 44 36 34 67 34 53 38 32 42

N.S.

1 1.00 0.82 0.77 1.52 0.77 1.20 0.86 0.73 0.95

time (sec)

N/A 0.021 0.030 0.008 1.325 0.639 3.083 0.197 0.137 0.112

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

58 58 57 49 99 56 83 76 45 75

N.S.

1 1.00 0.98 0.84 1.71 0.97 1.43 1.31 0.78 1.29

time (sec)

N/A 0.055 0.059 0.016 1.561 0.630 15.588 0.213 0.146 0.157

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

59 59 59 61 88 72 83 91 51 76

N.S.

1 1.00 1.00 1.03 1.49 1.22 1.41 1.54 0.86 1.29

time (sec)

N/A 0.056 0.044 0.013 1.408 0.665 7.460 0.245 0.787 0.175

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

63 63 59 75 91 72 76 129 56 77

N.S.

1 1.00 0.94 1.19 1.44 1.14 1.21 2.05 0.89 1.22

time (sec)

N/A 0.055 0.067 0.016 1.237 0.614 6.042 0.244 0.423 0.261

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

58 58 72 52 59 59 63 116 43 65

N.S.

1 1.00 1.24 0.90 1.02 1.02 1.09 2.00 0.74 1.12

time (sec)

N/A 0.047 0.034 0.013 1.612 0.728 5.956 0.232 0.681 0.248

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

83 83 72 73 127 58 131 80 52 66

N.S.

1 1.00 0.87 0.88 1.53 0.70 1.58 0.96 0.63 0.80

time (sec)

N/A 0.059 0.049 0.025 1.349 0.631 14.314 0.247 0.319 0.184

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B A B A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

67 67 54 58 118 53 124 71 47 61

N.S.

1 1.00 0.81 0.87 1.76 0.79 1.85 1.06 0.70 0.91

time (sec)

N/A 0.040 0.036 0.009 1.133 0.648 11.572 0.205 0.430 0.168

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B A B A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

60 60 56 46 95 48 109 57 42 56

N.S.

1 1.00 0.93 0.77 1.58 0.80 1.82 0.95 0.70 0.93

time (sec)

N/A 0.030 0.027 0.014 1.597 0.824 8.193 0.242 0.177 0.170

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

78 78 67 75 138 67 114 90 55 85

N.S.

1 1.00 0.86 0.96 1.77 0.86 1.46 1.15 0.71 1.09

time (sec)

N/A 0.075 0.034 0.020 1.187 0.537 33.672 0.261 0.180 0.220

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

81 81 71 75 122 78 114 102 64 84

N.S.

1 1.00 0.88 0.93 1.51 0.96 1.41 1.26 0.79 1.04

time (sec)

N/A 0.075 0.053 0.016 1.330 0.604 11.391 0.258 0.765 0.252

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A A A A B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

86 86 60 73 123 82 133 146 71 88

N.S.

1 1.00 0.70 0.85 1.43 0.95 1.55 1.70 0.83 1.02

time (sec)

N/A 0.077 0.027 0.020 1.372 0.586 12.755 0.255 0.552 0.305

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A A A A B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

82 82 60 73 112 82 148 158 82 88

N.S.

1 1.00 0.73 0.89 1.37 1.00 1.80 1.93 1.00 1.07

time (sec)

N/A 0.075 0.025 0.023 1.346 0.486 12.558 0.270 0.946 0.332

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

67 67 44 51 104 43 85 46 38 51

N.S.

1 1.00 0.66 0.76 1.55 0.64 1.27 0.69 0.57 0.76

time (sec)

N/A 0.058 0.028 0.018 1.314 0.548 7.072 0.189 0.590 0.129

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

51 51 35 39 76 34 66 37 32 42

N.S.

1 1.00 0.69 0.76 1.49 0.67 1.29 0.73 0.63 0.82

time (sec)

N/A 0.042 0.022 0.012 1.218 0.742 5.519 0.216 0.309 0.148

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

35 35 34 32 65 33 53 33 27 41

N.S.

1 1.00 0.97 0.91 1.86 0.94 1.51 0.94 0.77 1.17

time (sec)

N/A 0.026 0.017 0.007 1.158 0.616 4.041 0.216 0.491 0.131

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

24 24 24 20 42 26 22 26 19 32

N.S.

1 1.00 1.00 0.83 1.75 1.08 0.92 1.08 0.79 1.33

time (sec)

N/A 0.017 0.019 0.010 1.118 0.547 2.131 0.196 0.294 0.131

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B A A B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

38 38 38 30 67 41 31 61 30 55

N.S.

1 1.00 1.00 0.79 1.76 1.08 0.82 1.61 0.79 1.45

time (sec)

N/A 0.038 0.016 0.013 1.173 0.540 6.008 0.205 0.615 0.151

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

42 42 42 31 47 47 31 66 31 51

N.S.

1 1.00 1.00 0.74 1.12 1.12 0.74 1.57 0.74 1.21

time (sec)

N/A 0.037 0.021 0.014 1.257 0.612 3.597 0.216 0.329 0.166

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

58 58 49 43 59 50 88 114 43 60

N.S.

1 1.00 0.84 0.74 1.02 0.86 1.52 1.97 0.74 1.03

time (sec)

N/A 0.051 0.023 0.019 1.118 0.724 14.329 0.217 0.694 0.235

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

58 58 51 50 89 62 66 45 97 51

N.S.

1 1.00 0.88 0.86 1.53 1.07 1.14 0.78 1.67 0.88

time (sec)

N/A 0.046 0.024 0.021 1.211 0.873 14.277 0.207 1.108 0.179

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

45 45 46 37 63 58 48 39 89 44

N.S.

1 1.00 1.02 0.82 1.40 1.29 1.07 0.87 1.98 0.98

time (sec)

N/A 0.039 0.021 0.014 1.414 0.750 12.336 0.232 0.894 0.208

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

35 35 41 34 54 52 39 33 82 41

N.S.

1 1.00 1.17 0.97 1.54 1.49 1.11 0.94 2.34 1.17

time (sec)

N/A 0.027 0.017 0.007 1.227 0.697 10.675 0.254 0.841 0.195

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

20 20 20 17 22 31 31 16 16 20

N.S.

1 1.00 1.00 0.85 1.10 1.55 1.55 0.80 0.80 1.00

time (sec)

N/A 0.016 0.009 0.003 1.486 0.536 7.856 0.245 0.164 0.183

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

46 46 46 40 56 61 212 61 40 57

N.S.

1 1.00 1.00 0.87 1.22 1.33 4.61 1.33 0.87 1.24

time (sec)

N/A 0.043 0.032 0.020 1.405 0.540 19.618 0.253 0.475 0.210

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A A A B A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

65 65 45 47 68 77 228 82 47 65

N.S.

1 1.00 0.69 0.72 1.05 1.18 3.51 1.26 0.72 1.00

time (sec)

N/A 0.055 0.025 0.014 1.098 0.629 12.982 0.243 0.537 0.224

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

269 269 189 2295 372 1571 0 3752 1539 0

N.S.

1 1.00 0.70 8.53 1.38 5.84 0.00 13.95 5.72 0.00

time (sec)

N/A 0.161 0.557 0.027 0.885 0.819 0.000 0.459 1.777 1.202

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B B B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

63 63 153 130 129 132 134 143 121 0

N.S.

1 1.00 2.43 2.06 2.05 2.10 2.13 2.27 1.92 0.00

time (sec)

N/A 0.197 0.022 0.002 0.591 0.506 0.096 0.278 0.094 0.000

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

153 153 153 130 129 133 141 144 123 0

N.S.

1 1.00 1.00 0.85 0.84 0.87 0.92 0.94 0.80 0.00

time (sec)

N/A 0.117 0.023 0.000 0.667 0.865 0.095 0.296 0.121 0.000

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B B B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

45 45 151 130 129 133 136 144 123 0

N.S.

1 1.00 3.36 2.89 2.87 2.96 3.02 3.20 2.73 0.00

time (sec)

N/A 0.123 0.017 0.000 0.654 0.482 0.098 0.400 0.078 0.000

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

153 153 153 130 129 133 139 144 123 0

N.S.

1 1.00 1.00 0.85 0.84 0.87 0.91 0.94 0.80 0.00

time (sec)

N/A 0.085 0.017 0.002 0.499 0.813 0.097 0.288 0.081 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B B B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

29 29 149 130 129 133 133 144 123 0

N.S.

1 1.00 5.14 4.48 4.45 4.59 4.59 4.97 4.24 0.00

time (sec)

N/A 0.049 0.012 0.002 0.645 0.836 0.096 0.314 0.077 0.000

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

143 143 143 127 125 130 134 141 120 0

N.S.

1 1.00 1.00 0.89 0.87 0.91 0.94 0.99 0.84 0.00

time (sec)

N/A 0.074 0.016 0.001 0.576 0.564 0.098 0.362 0.079 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

93 93 149 132 130 127 131 145 121 0

N.S.

1 1.00 1.60 1.42 1.40 1.37 1.41 1.56 1.30 0.00

time (sec)

N/A 0.055 0.025 0.003 0.478 0.758 0.328 0.267 0.129 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

141 141 141 129 125 131 124 139 119 0

N.S.

1 1.00 1.00 0.91 0.89 0.93 0.88 0.99 0.84 0.00

time (sec)

N/A 0.082 0.026 0.005 0.504 0.880 0.321 0.361 0.081 0.001

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

147 147 147 131 130 133 131 156 120 0

N.S.

1 1.00 1.00 0.89 0.88 0.90 0.89 1.06 0.82 0.00

time (sec)

N/A 0.136 0.034 0.007 0.698 0.784 0.386 0.263 0.084 0.001

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

203 203 122 1121 192 759 0 1848 1483 0

N.S.

1 1.00 0.60 5.52 0.95 3.74 0.00 9.10 7.31 0.00

time (sec)

N/A 0.073 0.044 0.013 0.972 0.819 0.000 0.619 1.251 0.559

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B B B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

34 34 85 62 61 61 76 61 61 0

N.S.

1 1.00 2.50 1.82 1.79 1.79 2.24 1.79 1.79 0.00

time (sec)

N/A 0.047 0.002 0.001 0.637 0.560 0.072 0.339 0.062 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

83 83 83 62 61 61 75 61 61 0

N.S.

1 1.00 1.00 0.75 0.73 0.73 0.90 0.73 0.73 0.00

time (sec)

N/A 0.031 0.002 0.003 0.762 0.765 0.071 0.414 0.059 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B B B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

23 23 83 62 61 61 75 61 61 0

N.S.

1 1.00 3.61 2.70 2.65 2.65 3.26 2.65 2.65 0.00

time (sec)

N/A 0.022 0.002 0.001 0.563 0.859 0.073 0.362 0.060 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

83 83 83 62 61 61 75 61 61 0

N.S.

1 1.00 1.00 0.75 0.73 0.73 0.90 0.73 0.73 0.00

time (sec)

N/A 0.027 0.001 0.000 0.880 0.566 0.071 0.304 0.059 0.000

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

11 11 11 62 61 61 71 76 61 0

N.S.

1 1.00 1.00 5.64 5.55 5.55 6.45 6.91 5.55 0.00

time (sec)

N/A 0.002 0.002 0.001 0.782 0.512 0.070 0.314 0.058 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

73 73 73 58 57 57 68 57 57 0

N.S.

1 1.00 1.00 0.79 0.78 0.78 0.93 0.78 0.78 0.00

time (sec)

N/A 0.022 0.001 0.001 0.977 1.103 0.074 0.274 0.058 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

80 80 80 59 62 58 75 62 58 0

N.S.

1 1.00 1.00 0.74 0.78 0.72 0.94 0.78 0.72 0.00

time (sec)

N/A 0.033 0.003 0.003 0.821 0.846 0.107 0.230 0.061 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

73 73 73 60 59 62 66 59 59 0

N.S.

1 1.00 1.00 0.82 0.81 0.85 0.90 0.81 0.81 0.00

time (sec)

N/A 0.025 0.003 0.004 0.826 0.786 0.101 0.297 0.060 0.001

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

80 80 80 61 62 64 75 69 60 0

N.S.

1 1.00 1.00 0.76 0.78 0.80 0.94 0.86 0.75 0.00

time (sec)

N/A 0.040 0.003 0.005 0.736 0.504 0.112 0.357 0.061 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

145 145 80 90 54 129 90 101 -1 81

N.S.

1 1.00 0.55 0.62 0.37 0.89 0.62 0.70 -0.01 0.56

time (sec)

N/A 0.090 0.083 0.039 1.519 0.770 0.365 0.430 0.000 9.872

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

83 83 51 55 31 29 27 42 103 208

N.S.

1 1.00 0.61 0.66 0.37 0.35 0.33 0.51 1.24 2.51

time (sec)

N/A 0.072 0.021 0.010 0.779 0.834 0.277 0.383 0.876 0.461

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

97 97 69 62 33 98 82 59 -1 60

N.S.

1 1.00 0.71 0.64 0.34 1.01 0.85 0.61 -0.01 0.62

time (sec)

N/A 0.047 0.027 0.007 1.507 0.593 0.317 0.265 0.000 8.951

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

92 92 54 57 35 33 26 61 83 198

N.S.

1 1.00 0.59 0.62 0.38 0.36 0.28 0.66 0.90 2.15

time (sec)

N/A 0.072 0.021 0.010 0.734 0.780 0.709 0.381 0.766 0.442

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

101 101 72 67 37 105 82 62 -1 63

N.S.

1 1.00 0.71 0.66 0.37 1.04 0.81 0.61 -0.01 0.62

time (sec)

N/A 0.063 0.030 0.010 1.216 0.702 0.372 0.343 0.000 6.376

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

137 137 70 79 48 48 41 131 125 713

N.S.

1 1.00 0.51 0.58 0.35 0.35 0.30 0.96 0.91 5.20

time (sec)

N/A 0.098 0.033 0.013 0.784 0.712 0.726 0.386 0.810 1.170

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F F F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

153 153 108 188 125 300 0 0 -1 105

N.S.

1 1.00 0.71 1.23 0.82 1.96 0.00 0.00 -0.01 0.69

time (sec)

N/A 0.119 0.060 0.019 1.489 0.934 0.000 0.000 0.000 15.923

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

77 77 45 38 65 42 0 40 48 192

N.S.

1 1.00 0.58 0.49 0.84 0.55 0.00 0.52 0.62 2.49

time (sec)

N/A 0.066 0.019 0.007 0.636 0.847 0.000 0.507 0.179 0.851

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F F F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

156 156 108 186 124 301 0 0 -1 105

N.S.

1 1.00 0.69 1.19 0.79 1.93 0.00 0.00 -0.01 0.67

time (sec)

N/A 0.089 0.051 0.014 1.670 0.782 0.000 0.000 0.000 15.777

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

161 161 92 133 88 119 0 96 -1 258

N.S.

1 1.00 0.57 0.83 0.55 0.74 0.00 0.60 -0.01 1.60

time (sec)

N/A 0.118 0.041 0.021 0.888 0.645 0.000 0.528 0.000 0.885

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F F F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

190 190 124 206 134 334 0 0 -1 117

N.S.

1 1.00 0.65 1.08 0.71 1.76 0.00 0.00 -0.01 0.62

time (sec)

N/A 0.185 0.069 0.023 1.403 0.964 0.000 0.000 0.000 19.381

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

223 223 130 249 138 205 0 144 -1 1473

N.S.

1 1.00 0.58 1.12 0.62 0.92 0.00 0.65 -0.00 6.61

time (sec)

N/A 0.184 0.070 0.025 0.841 0.666 0.000 0.403 0.000 6.044

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B F B F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

400 400 160 1099 491 853 0 2213 -1 0

N.S.

1 1.00 0.40 2.75 1.23 2.13 0.00 5.53 -0.00 0.00

time (sec)

N/A 0.243 0.220 0.010 0.815 0.859 0.000 0.687 0.000 5.116

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A F B F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

276 276 112 495 243 381 0 1013 -1 0

N.S.

1 1.00 0.41 1.79 0.88 1.38 0.00 3.67 -0.00 0.00

time (sec)

N/A 0.153 0.110 0.009 0.964 0.693 0.000 0.524 0.000 3.138

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

153 153 86 131 75 94 0 269 -1 0

N.S.

1 1.00 0.56 0.86 0.49 0.61 0.00 1.76 -0.01 0.00

time (sec)

N/A 0.076 0.055 0.006 0.811 0.726 0.000 0.322 0.000 1.600

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

34 34 25 40 86 47 165 32 59 0

N.S.

1 1.00 0.74 1.18 2.53 1.38 4.85 0.94 1.74 0.00

time (sec)

N/A 0.029 0.008 0.002 0.722 0.709 9.597 0.289 0.142 0.132

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

86 86 45 62 135 92 0 196 108 0

N.S.

1 1.00 0.52 0.72 1.57 1.07 0.00 2.28 1.26 0.00

time (sec)

N/A 0.089 0.024 0.007 0.737 0.664 0.000 0.427 0.171 0.285

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

128 128 68 99 196 140 0 331 169 0

N.S.

1 1.00 0.53 0.77 1.53 1.09 0.00 2.59 1.32 0.00

time (sec)

N/A 0.129 0.035 0.006 0.698 0.774 0.000 0.385 0.202 0.420

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

166 166 166 226 166 193 202 193 169 0

N.S.

1 1.00 1.00 1.36 1.00 1.16 1.22 1.16 1.02 0.00

time (sec)

N/A 0.393 0.050 0.000 0.604 0.714 0.102 0.338 0.076 0.000

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

166 166 166 226 166 193 204 193 169 0

N.S.

1 1.00 1.00 1.36 1.00 1.16 1.23 1.16 1.02 0.00

time (sec)

N/A 0.154 0.054 0.000 0.726 0.615 0.101 0.270 0.096 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

166 166 154 226 166 193 199 193 169 0

N.S.

1 1.00 0.93 1.36 1.00 1.16 1.20 1.16 1.02 0.00

time (sec)

N/A 0.287 0.056 0.000 0.768 0.596 0.102 0.287 0.048 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

161 161 161 223 163 189 199 189 165 0

N.S.

1 1.00 1.00 1.39 1.01 1.17 1.24 1.17 1.02 0.00

time (sec)

N/A 0.118 0.046 0.000 0.730 0.764 0.102 0.264 0.049 0.000

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

162 162 162 191 167 164 199 193 166 0

N.S.

1 1.00 1.00 1.18 1.03 1.01 1.23 1.19 1.02 0.00

time (sec)

N/A 0.227 0.056 0.005 0.787 0.818 0.309 0.335 0.103 0.001

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

156 156 156 186 162 168 185 185 163 0

N.S.

1 1.00 1.00 1.19 1.04 1.08 1.19 1.19 1.04 0.00

time (sec)

N/A 0.108 0.082 0.004 0.707 0.955 0.307 0.306 0.051 0.001

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

162 162 162 190 167 170 197 212 166 0

N.S.

1 1.00 1.00 1.17 1.03 1.05 1.22 1.31 1.02 0.00

time (sec)

N/A 0.226 0.071 0.007 0.785 0.842 0.401 0.404 0.056 0.001

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

133 133 126 261 0 421 620 126 1343 0

N.S.

1 1.00 0.95 1.96 0.00 3.17 4.66 0.95 10.10 0.00

time (sec)

N/A 0.207 0.064 0.007 0.000 1.586 43.892 1.873 0.458 0.001

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

97 97 93 175 0 312 434 91 979 0

N.S.

1 1.00 0.96 1.80 0.00 3.22 4.47 0.94 10.09 0.00

time (sec)

N/A 0.116 0.068 0.004 0.000 0.772 10.545 1.812 0.646 0.001

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

71 71 71 98 0 219 287 67 606 0

N.S.

1 1.00 1.00 1.38 0.00 3.08 4.04 0.94 8.54 0.00

time (sec)

N/A 0.070 0.046 0.003 0.000 0.827 3.589 1.715 0.498 0.001

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

78 78 128 105 0 249 0 78 2424 0

N.S.

1 1.00 1.64 1.35 0.00 3.19 0.00 1.00 31.08 0.00

time (sec)

N/A 0.139 0.103 0.007 0.000 1.145 0.000 1.610 4.476 0.001

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

112 112 186 191 0 385 0 124 3729 0

N.S.

1 1.00 1.66 1.71 0.00 3.44 0.00 1.11 33.29 0.00

time (sec)

N/A 0.245 0.218 0.010 0.000 1.075 0.000 1.874 4.855 0.001

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

261 261 327 825 0 5140 0 4391 10177 0

N.S.

1 1.00 1.25 3.16 0.00 19.69 0.00 16.82 38.99 0.00

time (sec)

N/A 1.489 0.405 0.053 0.000 3.519 0.000 3.789 1.594 0.001

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

208 208 251 560 0 2632 0 3179 6366 0

N.S.

1 1.00 1.21 2.69 0.00 12.65 0.00 15.28 30.61 0.00

time (sec)

N/A 0.528 0.163 0.026 0.000 1.296 0.000 3.498 1.256 0.001

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

172 172 173 328 0 1569 314 1400 4109 0

N.S.

1 1.00 1.01 1.91 0.00 9.12 1.83 8.14 23.89 0.00

time (sec)

N/A 0.201 0.094 0.020 0.000 1.327 16.959 2.416 0.997 0.001

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

189 189 206 353 0 2914 0 2805 6335 0

N.S.

1 1.00 1.09 1.87 0.00 15.42 0.00 14.84 33.52 0.00

time (sec)

N/A 0.400 0.291 0.030 0.000 1.475 0.000 3.568 1.354 0.001

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

271 271 267 611 0 5442 0 2870 10101 0

N.S.

1 1.00 0.99 2.25 0.00 20.08 0.00 10.59 37.27 0.00

time (sec)

N/A 0.653 0.316 0.033 0.000 3.554 0.000 3.346 2.187 0.001

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

212 212 208 689 0 1323 0 239 2282 0

N.S.

1 1.00 0.98 3.25 0.00 6.24 0.00 1.13 10.76 0.00

time (sec)

N/A 0.381 0.282 0.020 0.000 0.779 0.000 1.649 0.834 0.001

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

147 147 160 286 0 849 0 194 1527 0

N.S.

1 1.00 1.09 1.95 0.00 5.78 0.00 1.32 10.39 0.00

time (sec)

N/A 0.175 0.186 0.014 0.000 1.008 0.000 1.617 1.217 0.001

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

107 107 111 158 0 538 394 120 283 0

N.S.

1 1.00 1.04 1.48 0.00 5.03 3.68 1.12 2.64 0.00

time (sec)

N/A 0.113 0.080 0.012 0.000 0.800 5.380 1.723 0.323 0.001

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

94 94 101 127 0 474 374 102 264 0

N.S.

1 1.00 1.07 1.35 0.00 5.04 3.98 1.09 2.81 0.00

time (sec)

N/A 0.088 0.074 0.007 0.000 0.691 3.363 1.367 0.301 0.001

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

150 150 243 361 0 1014 0 201 7119 0

N.S.

1 1.00 1.62 2.41 0.00 6.76 0.00 1.34 47.46 0.00

time (sec)

N/A 0.331 0.330 0.018 0.000 1.817 0.000 1.710 7.884 0.001

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

223 223 379 622 0 1635 0 250 10034 0

N.S.

1 1.00 1.70 2.79 0.00 7.33 0.00 1.12 45.00 0.00

time (sec)

N/A 0.419 0.564 0.023 0.000 3.863 0.000 1.647 9.088 0.001

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

425 425 455 1507 0 7252 0 5681 16604 0

N.S.

1 1.00 1.07 3.55 0.00 17.06 0.00 13.37 39.07 0.00

time (sec)

N/A 3.675 1.202 0.043 0.000 8.558 0.000 6.490 4.358 0.001

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

336 336 362 1030 0 4658 0 4538 12396 0

N.S.

1 1.00 1.08 3.07 0.00 13.86 0.00 13.51 36.89 0.00

time (sec)

N/A 1.717 0.853 0.036 0.000 2.817 0.000 6.288 5.184 0.001

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

276 276 298 733 0 3467 0 3776 9444 0

N.S.

1 1.00 1.08 2.66 0.00 12.56 0.00 13.68 34.22 0.00

time (sec)

N/A 0.553 0.664 0.029 0.000 1.916 0.000 4.777 4.411 0.001

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

293 293 304 1761 0 4885 0 4426 12349 0

N.S.

1 1.00 1.04 6.01 0.00 16.67 0.00 15.11 42.15 0.00

time (sec)

N/A 0.846 0.786 0.110 0.000 3.721 0.000 5.965 4.839 0.001

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

389 389 382 1252 0 7583 0 5408 17591 0

N.S.

1 1.00 0.98 3.22 0.00 19.49 0.00 13.90 45.22 0.00

time (sec)

N/A 1.220 1.039 0.040 0.000 9.541 0.000 6.160 5.380 0.001

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

522 522 487 1653 0 10190 0 6327 21554 0

N.S.

1 1.00 0.93 3.17 0.00 19.52 0.00 12.12 41.29 0.00

time (sec)

N/A 1.365 1.199 0.047 0.000 22.200 0.000 8.150 5.698 0.001

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

365 365 435 2054 0 3196 0 598 4501 0

N.S.

1 1.00 1.19 5.63 0.00 8.76 0.00 1.64 12.33 0.00

time (sec)

N/A 1.455 0.663 0.031 0.000 1.408 0.000 5.883 4.660 0.001

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

254 254 354 723 0 2167 0 466 3062 0

N.S.

1 1.00 1.39 2.85 0.00 8.53 0.00 1.83 12.06 0.00

time (sec)

N/A 0.404 0.479 0.026 0.000 1.163 0.000 6.311 5.151 0.001

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

146 146 261 398 0 1378 775 318 593 0

N.S.

1 1.00 1.79 2.73 0.00 9.44 5.31 2.18 4.06 0.00

time (sec)

N/A 0.139 0.268 0.017 0.000 0.948 102.043 6.463 0.694 0.001

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

185 185 233 411 0 1369 833 268 625 0

N.S.

1 1.00 1.26 2.22 0.00 7.40 4.50 1.45 3.38 0.00

time (sec)

N/A 0.262 0.236 0.020 0.000 0.953 44.844 6.587 0.680 0.001

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

170 170 172 379 0 1226 789 228 587 0

N.S.

1 1.00 1.01 2.23 0.00 7.21 4.64 1.34 3.45 0.00

time (sec)

N/A 0.163 0.204 0.017 0.000 0.928 21.367 6.057 0.660 0.001

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

139 139 142 262 0 1109 661 208 517 0

N.S.

1 1.00 1.02 1.88 0.00 7.98 4.76 1.50 3.72 0.00

time (sec)

N/A 0.124 0.135 0.010 0.000 0.688 12.404 5.570 0.587 0.001

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

252 252 396 1161 0 2494 0 421 11674 0

N.S.

1 1.00 1.57 4.61 0.00 9.90 0.00 1.67 46.33 0.00

time (sec)

N/A 0.543 0.691 0.029 0.000 7.448 0.000 6.445 11.572 0.001

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

363 363 642 1862 0 3956 0 648 16265 0

N.S.

1 1.00 1.77 5.13 0.00 10.90 0.00 1.79 44.81 0.00

time (sec)

N/A 0.771 1.500 0.039 0.000 14.441 0.000 6.371 15.906 0.001

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

554 554 644 2015 0 9636 0 3987 22911 0

N.S.

1 1.00 1.16 3.64 0.00 17.39 0.00 7.20 41.36 0.00

time (sec)

N/A 11.195 2.398 0.069 0.000 20.777 0.000 8.280 5.047 0.001

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

461 461 543 1631 0 7060 0 7578 19041 0

N.S.

1 1.00 1.18 3.54 0.00 15.31 0.00 16.44 41.30 0.00

time (sec)

N/A 4.622 2.021 0.048 0.000 6.935 0.000 11.662 3.951 0.001

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

380 380 447 1283 0 5650 0 3162 16688 0

N.S.

1 1.00 1.18 3.38 0.00 14.87 0.00 8.32 43.92 0.00

time (sec)

N/A 1.415 1.696 0.049 0.000 5.874 0.000 8.261 3.487 0.001

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

438 438 436 1335 0 7270 0 7267 18992 0

N.S.

1 1.00 1.00 3.05 0.00 16.60 0.00 16.59 43.36 0.00

time (sec)

N/A 1.090 1.646 0.046 0.000 9.419 0.000 11.773 3.916 0.001

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

460 460 516 11936 0 9909 0 4609 22914 0

N.S.

1 1.00 1.12 25.95 0.00 21.54 0.00 10.02 49.81 0.00

time (sec)

N/A 1.353 2.189 0.281 0.000 23.684 0.000 8.537 4.614 0.001

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

25 25 25 18 17 17 17 19 17 0

N.S.

1 1.00 1.00 0.72 0.68 0.68 0.68 0.76 0.68 0.00

time (sec)

N/A 0.018 0.009 0.006 0.718 1.144 0.121 0.305 0.057 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

25 25 25 18 25 17 17 19 17 0

N.S.

1 1.00 1.00 0.72 1.00 0.68 0.68 0.76 0.68 0.00

time (sec)

N/A 0.029 0.006 0.004 0.739 0.665 0.115 0.283 0.029 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

37 37 37 31 30 30 37 30 32 0

N.S.

1 1.00 1.00 0.84 0.81 0.81 1.00 0.81 0.86 0.00

time (sec)

N/A 0.035 0.013 0.003 1.401 0.944 0.120 0.282 0.212 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

37 37 37 31 53 30 37 30 32 0

N.S.

1 1.00 1.00 0.84 1.43 0.81 1.00 0.81 0.86 0.00

time (sec)

N/A 0.042 0.006 0.003 1.597 1.189 0.121 0.372 0.034 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

45 45 45 41 0 47 44 38 41 0

N.S.

1 1.00 1.00 0.91 0.00 1.04 0.98 0.84 0.91 0.00

time (sec)

N/A 0.049 0.026 0.006 0.000 0.830 0.152 0.944 0.052 0.001

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

102 102 71 91 104 61 0 102 102 69

N.S.

1 1.00 0.70 0.89 1.02 0.60 0.00 1.00 1.00 0.68

time (sec)

N/A 0.079 0.029 0.029 0.672 1.361 0.000 0.465 0.490 0.178

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

81 81 66 74 87 56 0 88 85 64

N.S.

1 1.00 0.81 0.91 1.07 0.69 0.00 1.09 1.05 0.79

time (sec)

N/A 0.056 0.021 0.015 0.593 1.283 0.000 0.363 0.433 0.146

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

74 74 61 57 70 51 0 74 67 59

N.S.

1 1.00 0.82 0.77 0.95 0.69 0.00 1.00 0.91 0.80

time (sec)

N/A 0.044 0.017 0.011 0.653 1.283 0.000 0.342 0.287 0.148

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

94 94 92 85 89 95 0 98 86 93

N.S.

1 1.00 0.98 0.90 0.95 1.01 0.00 1.04 0.91 0.99

time (sec)

N/A 0.083 0.038 0.015 1.496 1.261 0.000 0.478 0.426 0.204

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

97 97 97 104 89 112 0 138 84 96

N.S.

1 1.00 1.00 1.07 0.92 1.15 0.00 1.42 0.87 0.99

time (sec)

N/A 0.083 0.041 0.016 1.350 0.711 0.000 0.515 0.878 0.224

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

99 99 97 121 106 112 0 169 -1 98

N.S.

1 1.00 0.98 1.22 1.07 1.13 0.00 1.71 -0.01 0.99

time (sec)

N/A 0.083 0.039 0.016 1.426 0.924 0.000 0.572 0.000 0.272

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

90 90 74 118 99 90 0 189 -1 75

N.S.

1 1.00 0.82 1.31 1.10 1.00 0.00 2.10 -0.01 0.83

time (sec)

N/A 0.068 0.026 0.015 1.453 0.754 0.000 0.532 0.000 0.326

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

111 111 82 135 116 95 0 233 -1 80

N.S.

1 1.00 0.74 1.22 1.05 0.86 0.00 2.10 -0.01 0.72

time (sec)

N/A 0.086 0.027 0.017 1.736 1.217 0.000 0.457 0.000 0.368

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

132 132 84 152 133 100 0 255 -1 85

N.S.

1 1.00 0.64 1.15 1.01 0.76 0.00 1.93 -0.01 0.64

time (sec)

N/A 0.109 0.037 0.019 1.730 0.932 0.000 0.563 0.000 0.448

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

127 127 81 138 135 71 0 207 -1 79

N.S.

1 1.00 0.64 1.09 1.06 0.56 0.00 1.63 -0.01 0.62

time (sec)

N/A 0.096 0.035 0.033 0.585 0.996 0.000 0.541 0.000 0.303

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

106 106 76 121 118 66 0 179 -1 74

N.S.

1 1.00 0.72 1.14 1.11 0.62 0.00 1.69 -0.01 0.70

time (sec)

N/A 0.072 0.031 0.016 0.878 1.022 0.000 0.587 0.000 0.245

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

99 99 71 104 101 61 0 151 127 69

N.S.

1 1.00 0.72 1.05 1.02 0.62 0.00 1.53 1.28 0.70

time (sec)

N/A 0.058 0.025 0.016 0.666 0.765 0.000 0.452 0.530 0.242

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

119 119 104 117 120 106 0 113 -1 103

N.S.

1 1.00 0.87 0.98 1.01 0.89 0.00 0.95 -0.01 0.87

time (sec)

N/A 0.106 0.058 0.015 1.396 1.232 0.000 0.498 0.000 0.320

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

122 122 107 117 120 122 0 153 -1 106

N.S.

1 1.00 0.88 0.96 0.98 1.00 0.00 1.25 -0.01 0.87

time (sec)

N/A 0.107 0.054 0.021 1.746 1.035 0.000 0.559 0.000 0.346

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

127 127 107 117 137 122 0 190 -1 108

N.S.

1 1.00 0.84 0.92 1.08 0.96 0.00 1.50 -0.01 0.85

time (sec)

N/A 0.109 0.062 0.020 1.461 1.155 0.000 0.654 0.000 0.392

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

127 127 107 117 154 122 0 227 -1 108

N.S.

1 1.00 0.84 0.92 1.21 0.96 0.00 1.79 -0.01 0.85

time (sec)

N/A 0.107 0.051 0.022 1.585 1.021 0.000 0.681 0.000 0.534

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

153 153 139 286 0 315 0 138 -1 135

N.S.

1 1.00 0.91 1.87 0.00 2.06 0.00 0.90 -0.01 0.88

time (sec)

N/A 0.203 0.111 0.030 0.000 0.727 0.000 0.544 0.000 0.540

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

100 100 101 176 0 233 0 98 -1 104

N.S.

1 1.00 1.01 1.76 0.00 2.33 0.00 0.98 -0.01 1.04

time (sec)

N/A 0.093 0.047 0.015 0.000 1.093 0.000 0.449 0.000 0.473

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

76 76 78 93 0 178 0 69 92 78

N.S.

1 1.00 1.03 1.22 0.00 2.34 0.00 0.91 1.21 1.03

time (sec)

N/A 0.064 0.025 0.012 0.000 1.300 0.000 0.461 1.046 0.385

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A F F(-2) B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

90 90 89 76 0 517 0 0 81 89

N.S.

1 1.00 0.99 0.84 0.00 5.74 0.00 0.00 0.90 0.99

time (sec)

N/A 0.094 0.028 0.013 0.000 1.250 0.000 0.000 0.760 0.335

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

80 80 82 104 0 197 0 124 103 81

N.S.

1 1.00 1.02 1.30 0.00 2.46 0.00 1.55 1.29 1.01

time (sec)

N/A 0.083 0.035 0.018 0.000 1.330 0.000 0.538 0.776 0.392

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

124 124 107 194 0 255 0 339 -1 148

N.S.

1 1.00 0.86 1.56 0.00 2.06 0.00 2.73 -0.01 1.19

time (sec)

N/A 0.145 0.075 0.019 0.000 1.592 0.000 0.516 0.000 0.637

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

177 177 148 311 0 339 0 571 -1 188

N.S.

1 1.00 0.84 1.76 0.00 1.92 0.00 3.23 -0.01 1.06

time (sec)

N/A 0.239 0.108 0.020 0.000 1.884 0.000 0.639 0.000 0.905

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

98 98 66 87 90 56 0 60 -1 64

N.S.

1 1.00 0.67 0.89 0.92 0.57 0.00 0.61 -0.01 0.65

time (sec)

N/A 0.087 0.028 0.019 0.926 0.620 0.000 0.370 0.000 0.201

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

77 77 61 70 73 51 0 53 -1 59

N.S.

1 1.00 0.79 0.91 0.95 0.66 0.00 0.69 -0.01 0.77

time (sec)

N/A 0.066 0.020 0.014 0.988 0.968 0.000 0.344 0.000 0.185

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

56 56 56 53 56 46 0 46 -1 54

N.S.

1 1.00 1.00 0.95 1.00 0.82 0.00 0.82 -0.02 0.96

time (sec)

N/A 0.045 0.016 0.013 1.040 0.984 0.000 0.348 0.000 0.182

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

49 49 49 36 39 39 0 39 35 47

N.S.

1 1.00 1.00 0.73 0.80 0.80 0.00 0.80 0.71 0.96

time (sec)

N/A 0.032 0.009 0.012 0.923 0.748 0.000 0.468 0.523 0.170

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

69 69 69 52 58 75 0 78 56 68

N.S.

1 1.00 1.00 0.75 0.84 1.09 0.00 1.13 0.81 0.99

time (sec)

N/A 0.062 0.013 0.012 1.929 0.804 0.000 0.435 1.009 0.193

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

62 62 62 49 51 78 0 101 83 63

N.S.

1 1.00 1.00 0.79 0.82 1.26 0.00 1.63 1.34 1.02

time (sec)

N/A 0.050 0.015 0.015 2.021 0.782 0.000 0.386 0.663 0.251

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

83 83 67 66 68 83 0 145 -1 70

N.S.

1 1.00 0.81 0.80 0.82 1.00 0.00 1.75 -0.01 0.84

time (sec)

N/A 0.070 0.022 0.013 2.000 0.812 0.000 0.521 0.000 0.284

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

104 104 77 83 85 90 0 167 -1 75

N.S.

1 1.00 0.74 0.80 0.82 0.87 0.00 1.61 -0.01 0.72

time (sec)

N/A 0.088 0.024 0.017 1.981 0.860 0.000 0.507 0.000 0.339

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

77 77 72 91 73 86 0 52 -1 59

N.S.

1 1.00 0.94 1.18 0.95 1.12 0.00 0.68 -0.01 0.77

time (sec)

N/A 0.058 0.018 0.022 0.923 1.007 0.000 0.383 0.000 0.338

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

56 56 54 95 56 81 0 46 52 54

N.S.

1 1.00 0.96 1.70 1.00 1.45 0.00 0.82 0.93 0.96

time (sec)

N/A 0.043 0.121 0.013 0.933 0.990 0.000 0.512 0.312 0.273

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

25 25 25 22 32 46 0 21 21 25

N.S.

1 1.00 1.00 0.88 1.28 1.84 0.00 0.84 0.84 1.00

time (sec)

N/A 0.019 0.092 0.006 0.938 0.904 0.000 0.363 0.238 0.285

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

66 66 66 67 65 107 0 78 -1 67

N.S.

1 1.00 1.00 1.02 0.98 1.62 0.00 1.18 -0.02 1.02

time (sec)

N/A 0.057 0.024 0.019 2.006 0.935 0.000 0.556 0.000 0.364

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

90 90 88 84 82 124 0 122 -1 75

N.S.

1 1.00 0.98 0.93 0.91 1.38 0.00 1.36 -0.01 0.83

time (sec)

N/A 0.071 0.018 0.016 2.088 1.094 0.000 0.492 0.000 0.418

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

243 243 191 1935 408 1357 11538 2816 769 0

N.S.

1 1.00 0.79 7.96 1.68 5.58 47.48 11.59 3.16 0.00

time (sec)

N/A 0.176 0.298 0.009 1.388 0.860 12.378 0.750 1.058 1.208

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

155 155 117 783 230 573 4190 1178 429 0

N.S.

1 1.00 0.75 5.05 1.48 3.70 27.03 7.60 2.77 0.00

time (sec)

N/A 0.099 0.123 0.008 1.221 0.704 5.444 0.398 0.598 0.817

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

83 83 59 221 104 171 1056 350 171 0

N.S.

1 1.00 0.71 2.66 1.25 2.06 12.72 4.22 2.06 0.00

time (sec)

N/A 0.047 0.049 0.004 1.058 0.717 1.862 0.419 0.339 0.118

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

134 134 134 122 120 277 0 121 181 0

N.S.

1 1.00 1.00 0.91 0.90 2.07 0.00 0.90 1.35 0.00

time (sec)

N/A 0.179 0.063 0.014 1.998 11.001 0.000 0.309 0.873 0.001

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

118 118 99 108 107 212 0 105 166 0

N.S.

1 1.00 0.84 0.92 0.91 1.80 0.00 0.89 1.41 0.00

time (sec)

N/A 0.152 0.094 0.010 2.018 5.176 0.000 0.307 0.722 0.001

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

105 105 77 92 89 170 0 90 138 0

N.S.

1 1.00 0.73 0.88 0.85 1.62 0.00 0.86 1.31 0.00

time (sec)

N/A 0.137 0.034 0.009 1.998 2.920 0.000 0.356 0.989 0.001

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

96 96 66 83 82 145 0 86 944 0

N.S.

1 1.00 0.69 0.86 0.85 1.51 0.00 0.90 9.83 0.00

time (sec)

N/A 0.094 0.040 0.007 1.985 1.332 0.000 0.393 1.936 0.001

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

96 96 67 83 82 146 0 85 328 0

N.S.

1 1.00 0.70 0.86 0.85 1.52 0.00 0.89 3.42 0.00

time (sec)

N/A 0.064 0.037 0.007 1.985 1.500 0.000 0.354 1.020 0.001

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

114 114 134 101 101 201 0 102 527 0

N.S.

1 1.00 1.18 0.89 0.89 1.76 0.00 0.89 4.62 0.00

time (sec)

N/A 0.125 0.071 0.010 1.966 16.718 0.000 0.289 0.961 0.001

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

129 129 169 119 120 265 0 132 820 0

N.S.

1 1.00 1.31 0.92 0.93 2.05 0.00 1.02 6.36 0.00

time (sec)

N/A 0.150 0.101 0.013 1.997 101.424 0.000 0.302 1.381 0.001

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

156 156 209 145 145 0 0 168 1017 0

N.S.

1 1.00 1.34 0.93 0.93 0.00 0.00 1.08 6.52 0.00

time (sec)

N/A 0.183 0.093 0.016 2.050 0.000 0.000 0.342 1.868 0.001

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

359 359 344 405 294 4414 0 363 6097 0

N.S.

1 1.00 0.96 1.13 0.82 12.30 0.00 1.01 16.98 0.00

time (sec)

N/A 0.346 0.360 0.017 2.048 32.470 0.000 0.541 2.056 0.001

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

345 345 373 387 289 4354 0 333 5908 0

N.S.

1 1.00 1.08 1.12 0.84 12.62 0.00 0.97 17.12 0.00

time (sec)

N/A 0.302 0.238 0.008 2.089 4.864 0.000 0.444 1.827 0.001

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

336 336 233 363 268 4040 0 327 5111 0

N.S.

1 1.00 0.69 1.08 0.80 12.02 0.00 0.97 15.21 0.00

time (sec)

N/A 0.274 0.151 0.009 2.627 1.764 0.000 0.434 2.199 0.001

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

337 337 232 351 275 3892 0 336 4720 0

N.S.

1 1.00 0.69 1.04 0.82 11.55 0.00 1.00 14.01 0.00

time (sec)

N/A 0.267 0.126 0.009 1.427 1.776 0.000 0.377 1.589 0.001

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

336 336 234 363 268 4084 0 339 4802 0

N.S.

1 1.00 0.70 1.08 0.80 12.15 0.00 1.01 14.29 0.00

time (sec)

N/A 0.273 0.145 0.008 1.090 3.200 0.000 0.416 1.672 0.001

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

348 348 389 390 292 4362 0 348 5761 0

N.S.

1 1.00 1.12 1.12 0.84 12.53 0.00 1.00 16.55 0.00

time (sec)

N/A 0.300 0.253 0.012 1.274 9.080 0.000 0.398 1.999 0.001

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

360 360 367 406 297 4442 0 364 5972 0

N.S.

1 1.00 1.02 1.13 0.82 12.34 0.00 1.01 16.59 0.00

time (sec)

N/A 0.301 0.401 0.012 2.123 26.625 0.000 0.395 2.257 0.001

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

169 169 135 305 220 555 0 251 305 0

N.S.

1 1.00 0.80 1.80 1.30 3.28 0.00 1.49 1.80 0.00

time (sec)

N/A 0.367 0.210 0.020 2.075 35.277 0.000 0.364 1.302 0.001

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

150 150 142 260 197 457 0 223 647 0

N.S.

1 1.00 0.95 1.73 1.31 3.05 0.00 1.49 4.31 0.00

time (sec)

N/A 0.247 0.112 0.019 2.047 17.039 0.000 0.351 1.487 0.001

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

155 153 120 252 192 487 0 220 528 0

N.S.

1 0.99 0.77 1.63 1.24 3.14 0.00 1.42 3.41 0.00

time (sec)

N/A 0.248 0.153 0.016 2.077 6.195 0.000 0.331 1.520 0.001

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

149 148 114 247 186 492 0 188 527 0

N.S.

1 0.99 0.77 1.66 1.25 3.30 0.00 1.26 3.54 0.00

time (sec)

N/A 0.187 0.141 0.015 2.027 7.088 0.000 0.281 1.411 0.001

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

151 151 117 255 196 458 0 199 649 0

N.S.

1 1.00 0.77 1.69 1.30 3.03 0.00 1.32 4.30 0.00

time (sec)

N/A 0.181 0.133 0.017 2.030 16.308 0.000 0.383 1.493 0.001

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

209 209 241 309 228 0 0 279 1082 0

N.S.

1 1.00 1.15 1.48 1.09 0.00 0.00 1.33 5.18 0.00

time (sec)

N/A 0.239 0.183 0.023 2.054 0.000 0.000 0.368 2.577 0.001

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

236 236 248 332 278 0 0 344 1337 0

N.S.

1 1.00 1.05 1.41 1.18 0.00 0.00 1.46 5.67 0.00

time (sec)

N/A 0.261 0.427 0.025 2.007 0.000 0.000 0.353 2.942 0.001

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

265 265 278 363 332 0 0 350 1545 0

N.S.

1 1.00 1.05 1.37 1.25 0.00 0.00 1.32 5.83 0.00

time (sec)

N/A 0.327 0.391 0.025 2.082 0.000 0.000 0.367 3.477 0.001

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

712 712 431 873 504 9856 0 581 18343 0

N.S.

1 1.00 0.61 1.23 0.71 13.84 0.00 0.82 25.76 0.00

time (sec)

N/A 0.671 0.304 0.017 2.064 43.130 0.000 0.573 2.864 0.001

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

687 687 428 852 476 9822 0 595 17909 0

N.S.

1 1.00 0.62 1.24 0.69 14.30 0.00 0.87 26.07 0.00

time (sec)

N/A 0.602 0.369 0.019 2.079 27.277 0.000 0.587 2.825 0.001

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

685 685 423 848 490 9678 0 586 17180 0

N.S.

1 1.00 0.62 1.24 0.72 14.13 0.00 0.86 25.08 0.00

time (sec)

N/A 0.609 0.272 0.016 2.095 24.280 0.000 0.466 4.873 0.001

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

685 685 428 852 472 9774 0 603 17812 0

N.S.

1 1.00 0.62 1.24 0.69 14.27 0.00 0.88 26.00 0.00

time (sec)

N/A 0.560 0.283 0.017 2.148 26.340 0.000 0.502 2.867 0.001

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

689 689 429 873 506 9892 0 603 17945 0

N.S.

1 1.00 0.62 1.27 0.73 14.36 0.00 0.88 26.04 0.00

time (sec)

N/A 0.601 0.291 0.018 2.060 41.284 0.000 0.466 2.732 0.001

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

745 745 499 911 521 10188 0 639 24015 0

N.S.

1 1.00 0.67 1.22 0.70 13.68 0.00 0.86 32.23 0.00

time (sec)

N/A 0.772 0.370 0.020 2.111 111.346 0.000 0.452 5.161 0.001

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

751 751 513 932 543 0 0 628 20828 0

N.S.

1 1.00 0.68 1.24 0.72 0.00 0.00 0.84 27.73 0.00

time (sec)

N/A 0.686 0.386 0.021 2.110 0.000 0.000 0.497 5.219 0.001

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

243 243 142 159 124 206 0 156 -1 126

N.S.

1 1.00 0.58 0.65 0.51 0.85 0.00 0.64 -0.00 0.52

time (sec)

N/A 0.130 0.184 0.011 0.918 0.855 0.000 0.376 0.000 0.197

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

108 108 56 51 50 50 0 68 -1 56

N.S.

1 1.00 0.52 0.47 0.46 0.46 0.00 0.63 -0.01 0.52

time (sec)

N/A 0.101 0.030 0.004 0.898 0.604 0.000 0.336 0.000 0.086

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

178 178 121 119 81 155 0 109 -1 100

N.S.

1 1.00 0.68 0.67 0.46 0.87 0.00 0.61 -0.01 0.56

time (sec)

N/A 0.076 0.113 0.007 1.080 0.942 0.000 0.461 0.000 0.157

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

152 152 83 80 45 123 0 84 -1 82

N.S.

1 1.00 0.55 0.53 0.30 0.81 0.00 0.55 -0.01 0.54

time (sec)

N/A 0.095 0.046 0.007 1.453 0.950 0.000 0.445 0.000 0.109

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

177 177 122 128 59 134 0 116 -1 90

N.S.

1 1.00 0.69 0.72 0.33 0.76 0.00 0.66 -0.01 0.51

time (sec)

N/A 0.091 0.109 0.013 1.080 0.883 0.000 0.471 0.000 0.198

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

177 177 90 133 83 141 0 100 -1 88

N.S.

1 1.00 0.51 0.75 0.47 0.80 0.00 0.56 -0.01 0.50

time (sec)

N/A 0.119 0.045 0.012 1.225 0.869 0.000 0.443 0.000 0.153

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

78 78 72 73 72 79 76 79 73 0

N.S.

1 1.00 0.92 0.94 0.92 1.01 0.97 1.01 0.94 0.00

time (sec)

N/A 0.135 0.026 0.001 1.106 0.831 0.079 0.267 0.038 0.000

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

78 78 78 73 72 79 82 79 73 0

N.S.

1 1.00 1.00 0.94 0.92 1.01 1.05 1.01 0.94 0.00

time (sec)

N/A 0.064 0.016 0.001 1.189 0.790 0.079 0.388 0.028 0.000

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

75 75 72 73 72 79 76 79 73 0

N.S.

1 1.00 0.96 0.97 0.96 1.05 1.01 1.05 0.97 0.00

time (sec)

N/A 0.131 0.022 0.000 1.211 0.809 0.077 0.269 0.029 0.000

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

73 73 73 70 69 76 78 76 70 0

N.S.

1 1.00 1.00 0.96 0.95 1.04 1.07 1.04 0.96 0.00

time (sec)

N/A 0.044 0.015 0.002 1.173 0.518 0.077 0.354 0.029 0.000

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

74 74 74 77 73 70 73 79 70 0

N.S.

1 1.00 1.00 1.04 0.99 0.95 0.99 1.07 0.95 0.00

time (sec)

N/A 0.090 0.020 0.003 1.120 0.897 0.171 0.263 0.034 0.001

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

71 71 71 75 69 74 73 74 70 0

N.S.

1 1.00 1.00 1.06 0.97 1.04 1.03 1.04 0.99 0.00

time (sec)

N/A 0.048 0.032 0.003 1.070 0.845 0.164 0.361 0.033 0.001

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

74 74 71 76 73 76 71 97 70 0

N.S.

1 1.00 0.96 1.03 0.99 1.03 0.96 1.31 0.95 0.00

time (sec)

N/A 0.096 0.042 0.007 1.094 0.891 0.263 0.379 0.038 0.001

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

168 168 165 214 165 426 320 160 251 0

N.S.

1 1.00 0.98 1.27 0.98 2.54 1.90 0.95 1.49 0.00

time (sec)

N/A 0.234 0.138 0.013 2.487 0.986 1.177 0.321 0.325 0.001

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

135 135 133 176 130 350 189 125 179 0

N.S.

1 1.00 0.99 1.30 0.96 2.59 1.40 0.93 1.33 0.00

time (sec)

N/A 0.159 0.078 0.012 2.451 0.993 1.084 0.277 0.322 0.001

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

106 106 102 141 95 302 162 91 95 0

N.S.

1 1.00 0.96 1.33 0.90 2.85 1.53 0.86 0.90 0.00

time (sec)

N/A 0.106 0.065 0.010 2.517 1.029 0.966 0.335 0.342 0.001

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

83 83 88 118 84 268 153 75 77 0

N.S.

1 1.00 1.06 1.42 1.01 3.23 1.84 0.90 0.93 0.00

time (sec)

N/A 0.093 0.054 0.010 2.335 1.085 0.770 0.406 0.357 0.001

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

89 86 89 121 87 267 155 83 81 0

N.S.

1 0.97 1.00 1.36 0.98 3.00 1.74 0.93 0.91 0.00

time (sec)

N/A 0.118 0.061 0.013 2.462 0.899 1.118 0.293 0.367 0.001

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

106 106 105 146 103 316 167 94 98 0

N.S.

1 1.00 0.99 1.38 0.97 2.98 1.58 0.89 0.92 0.00

time (sec)

N/A 0.137 0.063 0.013 2.385 0.882 1.527 0.261 0.357 0.001

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

136 136 135 183 139 360 284 131 128 0

N.S.

1 1.00 0.99 1.35 1.02 2.65 2.09 0.96 0.94 0.00

time (sec)

N/A 0.252 0.088 0.015 2.463 0.858 2.133 0.327 0.383 0.001

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

167 167 166 221 174 436 328 164 156 0

N.S.

1 1.00 0.99 1.32 1.04 2.61 1.96 0.98 0.93 0.00

time (sec)

N/A 0.330 0.095 0.016 2.570 0.917 2.679 0.417 0.403 0.001

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

173 173 170 239 175 504 235 160 223 0

N.S.

1 1.00 0.98 1.38 1.01 2.91 1.36 0.92 1.29 0.00

time (sec)

N/A 0.321 0.111 0.015 2.466 0.727 3.583 0.359 0.354 0.001

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

143 143 141 202 139 462 212 125 137 0

N.S.

1 1.00 0.99 1.41 0.97 3.23 1.48 0.87 0.96 0.00

time (sec)

N/A 0.210 0.087 0.013 2.509 0.608 3.370 0.471 0.344 0.001

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

124 124 122 179 126 421 201 107 118 0

N.S.

1 1.00 0.98 1.44 1.02 3.40 1.62 0.86 0.95 0.00

time (sec)

N/A 0.138 0.104 0.011 2.461 0.579 2.621 0.263 0.386 0.001

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

115 115 110 131 121 391 196 101 112 0

N.S.

1 1.00 0.96 1.14 1.05 3.40 1.70 0.88 0.97 0.00

time (sec)

N/A 0.116 0.096 0.010 2.462 0.647 1.501 0.312 0.379 0.001

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

127 124 124 182 129 421 202 110 118 0

N.S.

1 0.98 0.98 1.43 1.02 3.31 1.59 0.87 0.93 0.00

time (sec)

N/A 0.204 0.135 0.013 2.650 0.666 2.142 0.316 0.390 0.001

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

142 142 141 207 147 476 214 128 138 0

N.S.

1 1.00 0.99 1.46 1.04 3.35 1.51 0.90 0.97 0.00

time (sec)

N/A 0.217 0.085 0.016 2.594 0.781 2.924 0.340 0.398 0.001

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

171 171 173 245 183 514 330 164 168 0

N.S.

1 1.00 1.01 1.43 1.07 3.01 1.93 0.96 0.98 0.00

time (sec)

N/A 0.373 0.114 0.016 2.453 0.703 3.757 0.347 0.412 0.001

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

230 230 228 538 0 0 0 236 7024 0

N.S.

1 1.00 0.99 2.34 0.00 0.00 0.00 1.03 30.54 0.00

time (sec)

N/A 0.487 0.243 0.016 0.000 0.000 0.000 1.728 69.941 0.001

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

189 189 186 408 0 0 0 194 2304 0

N.S.

1 1.00 0.98 2.16 0.00 0.00 0.00 1.03 12.19 0.00

time (sec)

N/A 0.329 0.187 0.010 0.000 0.000 0.000 2.185 15.207 0.001

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

158 158 139 289 0 421 0 157 1853 0

N.S.

1 1.00 0.88 1.83 0.00 2.66 0.00 0.99 11.73 0.00

time (sec)

N/A 0.261 0.106 0.010 0.000 128.564 0.000 1.843 11.051 0.001

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

132 132 114 176 0 321 0 133 3704 0

N.S.

1 1.00 0.86 1.33 0.00 2.43 0.00 1.01 28.06 0.00

time (sec)

N/A 0.157 0.070 0.008 0.000 37.369 0.000 1.720 9.751 0.001

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

133 133 112 176 0 321 0 134 2434 0

N.S.

1 1.00 0.84 1.32 0.00 2.41 0.00 1.01 18.30 0.00

time (sec)

N/A 0.123 0.068 0.010 0.000 26.755 0.000 1.908 8.707 0.001

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

167 167 242 298 0 0 0 172 6285 0

N.S.

1 1.00 1.45 1.78 0.00 0.00 0.00 1.03 37.63 0.00

time (sec)

N/A 0.306 0.321 0.011 0.000 0.000 0.000 1.917 17.199 0.001

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

205 205 331 430 0 0 0 237 5368 0

N.S.

1 1.00 1.61 2.10 0.00 0.00 0.00 1.16 26.19 0.00

time (sec)

N/A 0.470 0.343 0.019 0.000 0.000 0.000 1.962 62.948 0.001

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

268 268 426 584 0 0 0 332 10300 0

N.S.

1 1.00 1.59 2.18 0.00 0.00 0.00 1.24 38.43 0.00

time (sec)

N/A 0.597 0.434 0.020 0.000 0.000 0.000 1.462 144.755 0.001

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

387 387 463 1449 0 0 0 12506 41755 0

N.S.

1 1.00 1.20 3.74 0.00 0.00 0.00 32.32 107.89 0.00

time (sec)

N/A 4.032 0.614 0.042 0.000 0.000 0.000 12.649 7.134 0.001

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

323 323 385 1098 0 0 0 11030 33892 0

N.S.

1 1.00 1.19 3.40 0.00 0.00 0.00 34.15 104.93 0.00

time (sec)

N/A 1.366 0.520 0.036 0.000 0.000 0.000 13.868 6.446 0.001

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

280 280 323 764 0 15553 0 8658 25202 0

N.S.

1 1.00 1.15 2.73 0.00 55.55 0.00 30.92 90.01 0.00

time (sec)

N/A 0.894 0.334 0.026 0.000 9.248 0.000 11.236 5.800 0.001

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

251 251 277 478 0 12269 0 6921 19401 0

N.S.

1 1.00 1.10 1.90 0.00 48.88 0.00 27.57 77.29 0.00

time (sec)

N/A 0.451 0.498 0.024 0.000 3.760 0.000 8.453 4.959 0.001

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

254 254 274 480 0 0 0 7650 23640 0

N.S.

1 1.00 1.08 1.89 0.00 0.00 0.00 30.12 93.07 0.00

time (sec)

N/A 0.520 0.248 0.027 0.000 0.000 0.000 9.134 5.614 0.001

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

298 298 340 817 0 0 0 10058 33644 0

N.S.

1 1.00 1.14 2.74 0.00 0.00 0.00 33.75 112.90 0.00

time (sec)

N/A 0.960 0.399 0.030 0.000 0.000 0.000 12.818 5.890 0.001

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

348 348 410 1160 0 0 0 12268 42882 0

N.S.

1 1.00 1.18 3.33 0.00 0.00 0.00 35.25 123.22 0.00

time (sec)

N/A 1.549 0.525 0.040 0.000 0.000 0.000 12.000 6.726 0.001

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F F(-1) F F B C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

866 866 267 336 0 0 0 0 43112 308

N.S.

1 1.00 0.31 0.39 0.00 0.00 0.00 0.00 49.78 0.36

time (sec)

N/A 2.509 0.377 0.096 0.000 0.000 0.000 0.000 6.836 0.397

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F(-2) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

272 272 267 1049 0 0 0 0 -1 316

N.S.

1 1.00 0.98 3.86 0.00 0.00 0.00 0.00 -0.00 1.16

time (sec)

N/A 0.573 0.435 0.043 0.000 0.000 0.000 0.000 0.000 1.331

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A F F(-2) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

208 208 205 887 0 1231 0 0 -1 247

N.S.

1 1.00 0.99 4.26 0.00 5.92 0.00 0.00 -0.00 1.19

time (sec)

N/A 0.315 0.262 0.010 0.000 56.150 0.000 0.000 0.000 0.835

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A F F(-2) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

168 168 167 757 0 1050 0 0 -1 203

N.S.

1 1.00 0.99 4.51 0.00 6.25 0.00 0.00 -0.01 1.21

time (sec)

N/A 0.217 0.128 0.005 0.000 4.093 0.000 0.000 0.000 0.581

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F F(-2) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

186 186 179 851 0 0 0 0 -1 227

N.S.

1 1.00 0.96 4.58 0.00 0.00 0.00 0.00 -0.01 1.22

time (sec)

N/A 0.256 0.149 0.017 0.000 0.000 0.000 0.000 0.000 0.703

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

361 361 165 1009 0 1094 0 216 -1 212

N.S.

1 1.00 0.46 2.80 0.00 3.03 0.00 0.60 -0.00 0.59

time (sec)

N/A 0.509 0.315 0.020 0.000 2.363 0.000 0.523 0.000 0.775

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

482 482 545 2068 0 0 0 0 -1 13888

N.S.

1 1.00 1.13 4.29 0.00 0.00 0.00 0.00 -0.00 28.81

time (sec)

N/A 1.103 0.976 0.062 0.000 0.000 0.000 0.000 0.000 30.303

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F(-2) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

360 360 344 1696 0 0 0 0 -1 410

N.S.

1 1.00 0.96 4.71 0.00 0.00 0.00 0.00 -0.00 1.14

time (sec)

N/A 0.697 0.600 0.014 0.000 0.000 0.000 0.000 0.000 2.778

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F(-2) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

269 269 255 1411 0 0 0 0 -1 291

N.S.

1 1.00 0.95 5.25 0.00 0.00 0.00 0.00 -0.00 1.08

time (sec)

N/A 0.456 0.351 0.007 0.000 0.000 0.000 0.000 0.000 1.422

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F F(-2) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

350 350 251 1270 0 0 0 0 -1 267

N.S.

1 1.00 0.72 3.63 0.00 0.00 0.00 0.00 -0.00 0.76

time (sec)

N/A 0.573 0.534 0.036 0.000 0.000 0.000 0.000 0.000 1.284

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F F(-2) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

562 562 240 1207 0 0 0 0 -1 261

N.S.

1 1.00 0.43 2.15 0.00 0.00 0.00 0.00 -0.00 0.46

time (sec)

N/A 0.924 0.503 0.033 0.000 0.000 0.000 0.000 0.000 1.285

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F B F F(-2) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

173 173 171 267 0 1364 0 0 -1 230

N.S.

1 1.00 0.99 1.54 0.00 7.88 0.00 0.00 -0.01 1.33

time (sec)

N/A 0.314 0.367 0.020 0.000 58.184 0.000 0.000 0.000 0.697

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F B F F(-2) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

137 137 133 204 0 1084 0 0 -1 195

N.S.

1 1.00 0.97 1.49 0.00 7.91 0.00 0.00 -0.01 1.42

time (sec)

N/A 0.157 0.118 0.010 0.000 4.113 0.000 0.000 0.000 0.541

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

86 86 87 165 0 357 0 75 -1 141

N.S.

1 1.00 1.01 1.92 0.00 4.15 0.00 0.87 -0.01 1.64

time (sec)

N/A 0.084 0.018 0.007 0.000 1.190 0.000 0.486 0.000 0.382

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F B F F(-2) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

138 138 134 207 0 1097 0 0 -1 195

N.S.

1 1.00 0.97 1.50 0.00 7.95 0.00 0.00 -0.01 1.41

time (sec)

N/A 0.195 0.140 0.010 0.000 1.742 0.000 0.000 0.000 0.518

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

218 218 175 276 0 1414 0 208 -1 237

N.S.

1 1.00 0.80 1.27 0.00 6.49 0.00 0.95 -0.00 1.09

time (sec)

N/A 0.266 0.367 0.011 0.000 2.781 0.000 0.488 0.000 0.815

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F F(-2) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

236 236 271 720 0 4901 0 0 -1 308

N.S.

1 1.00 1.15 3.05 0.00 20.77 0.00 0.00 -0.00 1.31

time (sec)

N/A 0.474 0.821 0.063 0.000 172.624 0.000 0.000 0.000 1.207

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

167 167 204 613 0 1381 0 458 -1 226

N.S.

1 1.00 1.22 3.67 0.00 8.27 0.00 2.74 -0.01 1.35

time (sec)

N/A 0.294 0.616 0.015 0.000 2.201 0.000 0.720 0.000 0.784

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

159 159 162 506 0 1349 0 441 -1 218

N.S.

1 1.00 1.02 3.18 0.00 8.48 0.00 2.77 -0.01 1.37

time (sec)

N/A 0.191 0.172 0.011 0.000 2.245 0.000 0.641 0.000 0.753

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

166 166 167 454 0 1379 0 454 -1 224

N.S.

1 1.00 1.01 2.73 0.00 8.31 0.00 2.73 -0.01 1.35

time (sec)

N/A 0.171 0.149 0.008 0.000 2.491 0.000 0.618 0.000 0.746

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F F(-2) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

266 266 236 612 0 4909 0 0 -1 324

N.S.

1 1.00 0.89 2.30 0.00 18.45 0.00 0.00 -0.00 1.22

time (sec)

N/A 0.388 0.731 0.024 0.000 10.494 0.000 0.000 0.000 1.491

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

419 419 350 863 0 6486 0 762 -1 479

N.S.

1 1.00 0.84 2.06 0.00 15.48 0.00 1.82 -0.00 1.14

time (sec)

N/A 0.564 1.477 0.028 0.000 22.941 0.000 2.736 0.000 2.074

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B C F F(-1) F(-1) B B A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

406 406 943 496 0 0 0 928 11195 502

N.S.

1 1.00 2.32 1.22 0.00 0.00 0.00 2.29 27.57 1.24

time (sec)

N/A 8.593 10.842 0.059 0.000 0.000 0.000 0.650 2.476 1.650

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C F F(-1) F(-1) B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

324 324 591 332 0 0 0 745 8222 454

N.S.

1 1.00 1.82 1.02 0.00 0.00 0.00 2.30 25.38 1.40

time (sec)

N/A 3.529 7.251 0.033 0.000 0.000 0.000 0.819 1.994 1.233

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C F B F B B C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

292 292 308 275 0 2435 0 619 5705 352

N.S.

1 1.00 1.05 0.94 0.00 8.34 0.00 2.12 19.54 1.21

time (sec)

N/A 3.600 0.547 0.026 0.000 138.367 0.000 0.782 2.342 1.112

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C F B F A B C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

202 202 179 177 0 1085 0 228 717 279

N.S.

1 1.00 0.89 0.88 0.00 5.37 0.00 1.13 3.55 1.38

time (sec)

N/A 0.363 0.328 0.016 0.000 21.449 0.000 0.555 1.723 0.733

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C F F(-1) F B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

281 281 241 294 0 0 0 717 10964 280

N.S.

1 1.00 0.86 1.05 0.00 0.00 0.00 2.55 39.02 1.00

time (sec)

N/A 1.350 0.814 0.030 0.000 0.000 0.000 0.675 6.875 0.735

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C F F(-1) F F(-2) B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

382 370 349 401 0 0 0 0 19959 398

N.S.

1 0.97 0.91 1.05 0.00 0.00 0.00 0.00 52.25 1.04

time (sec)

N/A 4.134 1.389 0.030 0.000 0.000 0.000 0.000 5.460 1.500

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C F F(-1) F(-1) B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

552 552 466 655 0 0 0 1055 33925 579

N.S.

1 1.00 0.84 1.19 0.00 0.00 0.00 1.91 61.46 1.05

time (sec)

N/A 4.244 1.967 0.035 0.000 0.000 0.000 0.905 7.300 2.392

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B C F B F A F C

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

390 390 10915 290 0 6534 0 53 -1 566

N.S.

1 1.00 27.99 0.74 0.00 16.75 0.00 0.14 -0.00 1.45

time (sec)

N/A 2.919 6.397 0.040 0.000 104.324 0.000 2.038 0.000 91.937

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B C F B F A F C

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

324 324 7768 224 0 3260 0 27 -1 425

N.S.

1 1.00 23.98 0.69 0.00 10.06 0.00 0.08 -0.00 1.31

time (sec)

N/A 1.517 6.171 0.027 0.000 13.844 0.000 1.832 0.000 57.344

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B C F B F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

240 240 2585 161 0 985 0 0 -1 250

N.S.

1 1.00 10.77 0.67 0.00 4.10 0.00 0.00 -0.00 1.04

time (sec)

N/A 0.318 5.125 0.018 0.000 3.343 0.000 0.000 0.000 17.048

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B C F B F F(-1) F C

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

291 291 4644 272 0 2402 0 0 -1 348

N.S.

1 1.00 15.96 0.93 0.00 8.25 0.00 0.00 -0.00 1.20

time (sec)

N/A 0.671 6.322 0.029 0.000 7.224 0.000 0.000 0.000 70.513

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B C F B F F(-1) F C

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

373 373 7777 322 0 4095 0 0 -1 479

N.S.

1 1.00 20.85 0.86 0.00 10.98 0.00 0.00 -0.00 1.28

time (sec)

N/A 2.527 6.391 0.038 0.000 31.157 0.000 0.000 0.000 111.742

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B C F B F F(-1) F C

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

512 512 10933 503 0 5773 0 0 -1 687

N.S.

1 1.00 21.35 0.98 0.00 11.28 0.00 0.00 -0.00 1.34

time (sec)

N/A 4.943 6.586 0.038 0.000 77.192 0.000 0.000 0.000 160.945

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C F F(-1) F(-1) B B C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

460 460 457 490 0 0 0 857 16951 524

N.S.

1 1.00 0.99 1.07 0.00 0.00 0.00 1.86 36.85 1.14

time (sec)

N/A 5.084 0.966 0.033 0.000 0.000 0.000 1.246 3.413 2.124

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C F F(-1) F(-1) B B C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

327 327 324 279 0 0 0 649 12392 447

N.S.

1 1.00 0.99 0.85 0.00 0.00 0.00 1.98 37.90 1.37

time (sec)

N/A 1.456 0.568 0.021 0.000 0.000 0.000 1.089 4.129 1.553

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C F F(-1) F(-1) B B C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

346 346 333 388 0 0 0 827 28434 389

N.S.

1 1.00 0.96 1.12 0.00 0.00 0.00 2.39 82.18 1.12

time (sec)

N/A 1.744 1.379 0.029 0.000 0.000 0.000 1.024 7.673 1.531

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C F F(-1) F(-1) A B C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

417 416 380 555 0 0 0 433 35855 548

N.S.

1 1.00 0.91 1.33 0.00 0.00 0.00 1.04 85.98 1.31

time (sec)

N/A 3.243 1.600 0.043 0.000 0.000 0.000 0.725 6.097 2.117

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B C F F(-1) F A F F(-1)

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

595 595 18689 516 0 0 0 104 -1 0

N.S.

1 1.00 31.41 0.87 0.00 0.00 0.00 0.17 -0.00 0.00

time (sec)

N/A 3.285 6.489 0.039 0.000 0.000 0.000 1.869 0.000 180.173

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B C F F(-1) F A F C

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

491 491 14032 382 0 0 0 58 -1 692

N.S.

1 1.00 28.58 0.78 0.00 0.00 0.00 0.12 -0.00 1.41

time (sec)

N/A 1.802 6.261 0.033 0.000 0.000 0.000 1.975 0.000 154.730

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B C F B F A F C

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

487 487 9290 217 0 7721 0 27 -1 392

N.S.

1 1.00 19.08 0.45 0.00 15.85 0.00 0.06 -0.00 0.80

time (sec)

N/A 1.572 6.160 0.027 0.000 99.051 0.000 1.968 0.000 121.925

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B C F B F F(-1) F C

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

260 432 7789 360 0 4059 0 0 -1 423

N.S.

1 1.66 29.96 1.38 0.00 15.61 0.00 0.00 -0.00 1.63

time (sec)

N/A 0.855 6.302 0.036 0.000 37.774 0.000 0.000 0.000 121.559

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B C F B F(-1) F(-1) F C

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

523 523 9321 511 0 7830 0 0 -1 484

N.S.

1 1.00 17.82 0.98 0.00 14.97 0.00 0.00 -0.00 0.93

time (sec)

N/A 2.617 6.408 0.036 0.000 149.195 0.000 0.000 0.000 179.824

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

281 281 354 2134 0 3615 0 4637 917 425

N.S.

1 1.00 1.26 7.59 0.00 12.86 0.00 16.50 3.26 1.51

time (sec)

N/A 7.336 0.542 0.099 0.000 16.821 0.000 4.484 1.450 0.975

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

229 229 276 1223 0 2053 0 4060 776 285

N.S.

1 1.00 1.21 5.34 0.00 8.97 0.00 17.73 3.39 1.24

time (sec)

N/A 1.751 0.387 0.063 0.000 6.457 0.000 4.104 1.311 0.677

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

182 182 169 1167 0 871 0 591 649 190

N.S.

1 1.00 0.93 6.41 0.00 4.79 0.00 3.25 3.57 1.04

time (sec)

N/A 0.268 0.243 0.051 0.000 3.123 0.000 4.242 1.288 0.311

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

241 241 212 2099 0 1232 0 3639 669 277

N.S.

1 1.00 0.88 8.71 0.00 5.11 0.00 15.10 2.78 1.15

time (sec)

N/A 1.645 0.432 0.064 0.000 11.648 0.000 3.674 1.298 0.645

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

290 290 292 2770 0 2799 0 1675 825 360

N.S.

1 1.00 1.01 9.55 0.00 9.65 0.00 5.78 2.84 1.24

time (sec)

N/A 2.362 0.762 0.085 0.000 32.217 0.000 7.120 1.410 2.087

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B C F B F B B C

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

325 325 10606 222 0 2860 0 1710 1024 594

N.S.

1 1.00 32.63 0.68 0.00 8.80 0.00 5.26 3.15 1.83

time (sec)

N/A 5.391 6.307 0.042 0.000 4.252 0.000 6.686 1.300 0.966

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B C F B F B B C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

263 263 7543 175 0 1430 0 3580 870 415

N.S.

1 1.00 28.68 0.67 0.00 5.44 0.00 13.61 3.31 1.58

time (sec)

N/A 2.135 6.140 0.023 0.000 1.982 0.000 4.734 1.272 0.631

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B C F B F B B C

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

220 220 2266 130 0 759 0 641 989 155

N.S.

1 1.00 10.30 0.59 0.00 3.45 0.00 2.91 4.50 0.70

time (sec)

N/A 0.294 5.418 0.013 0.000 0.925 0.000 5.122 1.268 0.171

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B C F B F B B C

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

265 265 2661 217 0 1998 0 3965 1234 471

N.S.

1 1.00 10.04 0.82 0.00 7.54 0.00 14.96 4.66 1.78

time (sec)

N/A 0.780 4.946 0.027 0.000 1.418 0.000 5.037 1.205 0.690

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B F B B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

96 96 743 160 0 290 0 209 383 202

N.S.

1 1.00 7.74 1.67 0.00 3.02 0.00 2.18 3.99 2.10

time (sec)

N/A 0.200 0.496 0.088 0.000 1.072 0.000 0.718 1.500 0.591

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C F F(-1) F A F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

479 479 461 377 0 0 0 105 -1 538

N.S.

1 1.00 0.96 0.79 0.00 0.00 0.00 0.22 -0.00 1.12

time (sec)

N/A 1.858 1.868 0.034 0.000 0.000 0.000 2.027 0.000 60.185

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C F F(-1) F A F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

366 366 355 269 0 0 0 55 -1 458

N.S.

1 1.00 0.97 0.73 0.00 0.00 0.00 0.15 -0.00 1.25

time (sec)

N/A 1.173 1.030 0.026 0.000 0.000 0.000 2.140 0.000 45.098

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C F B F A F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

298 298 292 200 0 11094 0 27 -1 320

N.S.

1 1.00 0.98 0.67 0.00 37.23 0.00 0.09 -0.00 1.07

time (sec)

N/A 0.724 0.588 0.022 0.000 51.774 0.000 2.049 0.000 30.969

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C F B F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

240 240 227 161 0 3395 0 0 -1 250

N.S.

1 1.00 0.95 0.67 0.00 14.15 0.00 0.00 -0.00 1.04

time (sec)

N/A 0.304 0.478 0.017 0.000 12.713 0.000 0.000 0.000 9.822

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C F B F F(-1) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

243 243 229 151 0 4557 0 0 -1 179

N.S.

1 1.00 0.94 0.62 0.00 18.75 0.00 0.00 -0.00 0.74

time (sec)

N/A 0.178 0.406 0.016 0.000 30.483 0.000 0.000 0.000 0.195

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C F B F F(-1) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

280 280 271 197 0 6431 0 0 -1 312

N.S.

1 1.00 0.97 0.70 0.00 22.97 0.00 0.00 -0.00 1.11

time (sec)

N/A 0.602 1.013 0.025 0.000 59.583 0.000 0.000 0.000 36.312

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C F F(-1) F F(-1) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

341 341 320 248 0 0 0 0 -1 371

N.S.

1 1.00 0.94 0.73 0.00 0.00 0.00 0.00 -0.00 1.09

time (sec)

N/A 0.741 0.686 0.029 0.000 0.000 0.000 0.000 0.000 49.091

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C F F(-1) F F(-1) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

443 443 383 350 0 0 0 0 -1 534

N.S.

1 1.00 0.86 0.79 0.00 0.00 0.00 0.00 -0.00 1.21

time (sec)

N/A 1.432 1.636 0.036 0.000 0.000 0.000 0.000 0.000 65.035

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B C F F(-1) F A F C

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

350 507 10968 480 0 0 0 75 -1 593

N.S.

1 1.45 31.34 1.37 0.00 0.00 0.00 0.21 -0.00 1.69

time (sec)

N/A 4.328 11.262 0.040 0.000 0.000 0.000 2.254 0.000 84.947

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F F(-1) F F(-2) F C

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

360 360 2162 338 0 0 0 0 -1 405

N.S.

1 1.00 6.01 0.94 0.00 0.00 0.00 0.00 -0.00 1.12

time (sec)

N/A 1.267 7.897 0.034 0.000 0.000 0.000 0.000 0.000 55.591

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F F(-1) F F(-2) F C

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

333 333 2119 252 0 0 0 0 -1 343

N.S.

1 1.00 6.36 0.76 0.00 0.00 0.00 0.00 -0.00 1.03

time (sec)

N/A 0.658 6.719 0.029 0.000 0.000 0.000 0.000 0.000 49.218

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F F(-1) F F(-2) F C

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

341 341 2112 246 0 0 0 0 -1 342

N.S.

1 1.00 6.19 0.72 0.00 0.00 0.00 0.00 -0.00 1.00

time (sec)

N/A 0.774 7.152 0.024 0.000 0.000 0.000 0.000 0.000 62.476

Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F F(-1) F F(-1) F C

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

339 462 2158 387 0 0 0 0 -1 546

N.S.

1 1.36 6.37 1.14 0.00 0.00 0.00 0.00 -0.00 1.61

time (sec)

N/A 2.837 6.774 0.037 0.000 0.000 0.000 0.000 0.000 109.355

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F F(-1) F F(-1) F C

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

419 647 2218 541 0 0 0 0 -1 762

N.S.

1 1.54 5.29 1.29 0.00 0.00 0.00 0.00 -0.00 1.82

time (sec)

N/A 5.566 6.796 0.042 0.000 0.000 0.000 0.000 0.000 144.272

Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C F B F A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

40 44 44 101 0 120 0 42 -1 107

N.S.

1 1.10 1.10 2.52 0.00 3.00 0.00 1.05 -0.02 2.68

time (sec)

N/A 0.072 0.052 0.059 0.000 0.937 0.000 0.222 0.000 1.087

[next] [prev] [prev-tail] [front] [up]